Analysis of Self-synchronized Automatic Dependent Surveillance using Satellite

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

analysis of ruin probability for insurance companies using markov chain

در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...

Vulnerability Analysis of Satellite based Synchronized Smart Grids Monitoring Systems

The large scale deployment of Wide-Area Monitoring Systems (WAMSs) could play a strategic role in supporting the evolution of the traditional power systems towards smarter and self healing grids. The correct operation of these synchronized monitoring systems requires a common and accurate timing reference usually provided by satellite based Global Positioning System (GPS). Although, these satel...

Automatic Sensitivity Analysis using Linear Dependent Types

Function sensitivity—how much a function output can change with respect to changes in the input—is a key property in many research areas. For instance, in the field of differential privacy, a common mechanism for making a (possibly non-private) query private involves establishing a bound on its sensitivity. One way to bound the sensitivity of functional programs is by using a type-based analysi...

Automatic Verification of Instruction Set Simulation Using Synchronized State Comparison